Now the rest of the acts of Jotham, and all that he did, are they not written in the book of the chronicles of the kings of Judah?